Unit propagation - PDFSEARCH.IO - Document Search Engine

Unit propagation
Results: 62

#	Item
51	6 Vitamin E SUMMARY Vitamin E is thought to function primarily as a chain-breaking antioxidant that prevents the propagation of lipid peroxidation. Add to Reading List Source URL: www.nal.usda.gov Language: English Vitamins Tocopherol Tocotrienol Tocopheryl acetate Antioxidant International unit Vitamin Dietary Reference Intake Phytane Nutrition Chemistry Vitamin E
52	The Power of Choice in Random Satisfiability Varsha Dani, University of New Mexico Josep Díaz, Universitat Politècnica de Catalunya Thomas Hayes, University of New Mexico Cristopher Moore, Santa Fe Institute Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-08-24 21:10:43 NP-complete problems Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation 2-satisfiability Unit propagation Clause Theoretical computer science Mathematics Applied mathematics
53	EUROGRAPHICS Workshop on ... (200x) N.N. and N.N. (Editors) Light Propagation Maps on Parallel Graphics Architectures A. Gruson1 , A. Hakke Patil2 , R. Cozot1 , K. Bouatouch1 , S. Pattanaik2 1 IRISA, Add to Reading List Source URL: graphics.cs.ucf.edu Language: English - Date: 2014-03-17 14:31:45 Graphics hardware Computer hardware Video cards GPGPU 3D imaging Voxel Rendering Ray casting Graphics processing unit 3D computer graphics Imaging Computer graphics
54	Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2011-09-06 10:46:19 Automated theorem proving Logic in computer science NP-complete problems Boolean algebra Logic programming Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematics Mathematical logic
55	A Semantic Variant of the Modified Problem Reduction Format • • Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2012-03-14 03:24:01 Automated theorem proving Resolution Unit propagation Clause Logic programming IP Prolog Modal logic First-order logic Logic Theoretical computer science Mathematical logic
56	A Proof Procedure Using Connection Graphs ROBERT K O W A L S K I University of Edinburgh, Edinburgh, Scotland ABSTRACT. Various deficiencies of resolution systems are investigated and a new theorem-proving system designe Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:52:43 Mathematical logic Rules of inference Resolution Logic programming Unit propagation Logic in computer science SL Cons First-order logic Theoretical computer science Mathematics Automated theorem proving
57	i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Mathematical logic Mathematics Boolean satisfiability problem DPLL algorithm Clause Resolution Conjunctive normal form Local consistency Unit propagation Theoretical computer science Constraint programming Automated theorem proving
58	PDF Document Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2001-03-30 15:59:53 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem GRASP Unit propagation Resolution Theoretical computer science Mathematics Mathematical logic
59	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
60	PDF Document Add to Reading List Source URL: www.inferenzsysteme.informatik.tu-darmstadt.de Language: English - Date: 2013-10-07 14:40:42 Mathematics Predicate logic Logic programming Rules of inference Resolution Clause First-order logic Higher-order logic Unit propagation Logic Mathematical logic Automated theorem proving